Elspas, Bernard: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An Assessment of Techniques for Proving Program Correctness

Elspas, Bernard, Levitt, Karl N., Waldinger, Richard J., Waksman, Abraham

Journal:

ACM Computing Surveys

Year:

1972

Language:

english

File:

PDF, 4.16 MB

english, 1972

2

Graphs with circulant adjacency matrices

Bernard Elspas, James Turner

Journal:

Journal of Combinatorial Theory

Year:

1970

Language:

english

File:

PDF, 484 KB

english, 1970

3

Self-Complementary Symmetry Types of Boolean Functions

Elspas, Bernard

Journal:

IRE Transactions on Electronic Computers

Year:

1960

Language:

english

File:

PDF, 727 KB

english, 1960

4

[ACM Press the international conference - Los Angeles, California (1975.04.21-1975.04.23)] Proceedings of the international conference on Reliable software - - SELECT---a formal system for testing and debugging programs by symbolic execution

Boyer, Robert S., Elspas, Bernard, Levitt, Karl N.

Year:

1975

Language:

english

File:

PDF, 1.13 MB

english, 1975

5

[IEEE 8th Annual Symposium on Switching and Automata Theory - Austin, TX, USA (1967.10.18-1967.10.20)] 8th Annual Symposium on Switching and Automata Theory (SWAT 1967) - Decomposition of group functions and the synthesis of multirail cascades

Elspas, Bernard, Stone, Harold S.

Year:

1967

Language:

english

File:

PDF, 423 KB

english, 1967

6

[IEEE 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design - Princeton, NJ, USA (1964.11.11-1964.11.13)] 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design - Topological constraints on interconnection-limited logic

Elspas, Bernard

Year:

1964

Language:

english

File:

PDF, 532 KB

english, 1964